/* @override http://localhost:8080/static/codemirror.css */

* {
  margin: 0;
  padding: 0;
}

body {
  font:12px/14px monospace;
  overflow: auto;
  padding: 1em 0;
}

.paren-match { background-color: #9cc2fd; }
.paren-error {
  background-color: #ff4d4d;
  color: #fff;
  font-weight: bold;
}

.hs-char,
.hs-float,
.hs-integer,
.hs-string 	{ color: #7f7519;}

.hs-comment { color: #236E25; font-style: italic; }
.hs-pragma	{ }

.hs-prelude-varid,
.hs-prelude-varsym,
.hs-special,
.hs-varid,
.hs-varsym	{ }

.hs-conid,
.hs-consym	{ color: #cc2900; }

.hs-reservedid,
.hs-reservedop { color: #7f3500; font-weight: bold; }

.hs-qualifier { color: #5e5e5e;}
.hs-error	{ background-color: #ffe5e5; }

.hs-prelude-varid,
.hs-prelude-varsym,
.hs-prelude-conid { color: #250087; }

